A CDCL-style calculus for solving non-linear constraints

In this paper we propose a novel approach for checking satisfiability of non-linear constraints over the reals, called ksmt. The procedure is based on conflict resolution in CDCL style calculus, using a composition of symbolical and numerical methods. To deal with the non-linear components in case of conflicts we use numerically constructed restricted linearisations. This approach covers a large number of computable non-linear real functions such as polynomials, rational or trigonometrical functions and beyond. A prototypical implementation has been evaluated on several non-linear SMT-LIB examples and the results have been compared with state-of-the-art SMT solvers.Comment: 17 pages, 3 figures; accepted at FroCoS 2019; software available at <http://informatik.uni-trier.de/~brausse/ksmt/

Characteristic Evolution and Matching

I review the development of numerical evolution codes for general relativity based upon the characteristic initial value problem. Progress in characteristic evolution is traced from the early stage of 1D feasibility studies to 2D axisymmetric codes that accurately simulate the oscillations and gravitational collapse of relativistic stars and to current 3D codes that provide pieces of a binary black hole spacetime. Cauchy codes have now been successful at simulating all aspects of the binary black hole problem inside an artificially constructed outer boundary. A prime application of characteristic evolution is to extend such simulations to null infinity where the waveform from the binary inspiral and merger can be unambiguously computed. This has now been accomplished by Cauchy-characteristic extraction, where data for the characteristic evolution is supplied by Cauchy data on an extraction worldtube inside the artificial outer boundary. The ultimate application of characteristic evolution is to eliminate the role of this outer boundary by constructing a global solution via Cauchy-characteristic matching. Progress in this direction is discussed.Comment: New version to appear in Living Reviews 2012. arXiv admin note: updated version of arXiv:gr-qc/050809

Dosimetry during intramedullary nailing of the tibia: Patient and occupational exposure

Background Intramedullary nailing under fluoroscopic guidance is a common operation. We studied the intraoperative radiation dose received by both the patient and the personnel

Computability of ordinary differential equations

In this paper we provide a brief review of several results about the computability of initial-value problems (IVPs) defined with ordinary differential equations (ODEs). We will consider a variety of settings and analyze how the computability of the IVP will be affected. Computational complexity results will also be presented, as well as computable versions of some classical theorems about the asymptotic behavior of ODEs.info:eu-repo/semantics/publishedVersio

Stem cell function and stress response are controlled by protein synthesis.

Whether protein synthesis and cellular stress response pathways interact to control stem cell function is currently unknown. Here we show that mouse skin stem cells synthesize less protein than their immediate progenitors in vivo, even when forced to proliferate. Our analyses reveal that activation of stress response pathways drives both a global reduction of protein synthesis and altered translational programmes that together promote stem cell functions and tumorigenesis. Mechanistically, we show that inhibition of post-transcriptional cytosine-5 methylation locks tumour-initiating cells in this distinct translational inhibition programme. Paradoxically, this inhibition renders stem cells hypersensitive to cytotoxic stress, as tumour regeneration after treatment with 5-fluorouracil is blocked. Thus, stem cells must revoke translation inhibition pathways to regenerate a tissue or tumour.This work was funded by Cancer Research UK (CR-UK), Worldwide Cancer Research, the Medical Research Council (MRC), the European Research Council (ERC), and EMBO. Research in Michaela Frye's laboratory is supported by a core support grant from the Wellcome Trust and MRC to the Wellcome Trust-Medical Research Cambridge Stem Cell Institute.This is the author accepted manuscript. The final version is available from Nature Publishing Group via http://dx.doi.org/10.1038/nature1828

Characteristic Evolution and Matching

I review the development of numerical evolution codes for general relativity based upon the characteristic initial value problem. Progress is traced from the early stage of 1D feasibility studies to 2D axisymmetric codes that accurately simulate the oscillations and gravitational collapse of relativistic stars and to current 3D codes that provide pieces of a binary black spacetime. A prime application of characteristic evolution is to compute waveforms via Cauchy-characteristic matching, which is also reviewed.Comment: Published version http://www.livingreviews.org/lrr-2005-1

Efficacy and tolerability of intravenous methylergonovine in migraine female patients attending the emergency department: a pilot open-label study

<p>Abstract</p> <p>Background</p> <p>Methylergonovine is an ergot alkaloid widely used in postpartum women. It is also an active metabolite of methysergide and previous studies suggest that it could be effective against refractory headache and cluster headache. The purpose of the present study was to assess the potential therapeutic effectiveness of methylergonovine in the emergency treatment of severe migraine.</p> <p>Methods</p> <p>One hundred and twenty five female patients with migraine attending the emergency department received 0.15 mg of methylergonovine intravenously. Pain intensity, heart rate, blood pressure, and methylergonovine side effects were checked 5, 10, 15, 30 and 60 minutes after drug administration. An additional 0.075 mg dose of methylergonovine was administered to those patients who did not experienced relevant pain relief 15 minutes after dosing. </p> <p>Results</p> <p>Pain intensity decreased markedly from the first minutes after dosing, the 74.4% of patients being pain free at 60 minutes. Only seven patients required an additional dose of methylergonovine. Nausea and vomiting were the most relevant side effects related with methylergonovine administration (84% of patients). A substantial decrease (10 to 25 mmHg) in systolic blood pressure values was observed in 56% of the patients. A significant correlation (p < 0.0001) was found between the decrease in pain intensity and the reduction of systolic blood pressure.</p> <p>Conclusion</p> <p>Although limited by the non-controlled design of the study, our data suggest that intravenous methylergonovine can be an effective and safe drug in the management of severe migraine attacks in the emergency room.</p

Pain in patients with pancreatic cancer: prevalence, mechanisms, management and future developments

Pain affects approximately 80% of patients with pancreatic cancer, with half requiring strong opioid analgesia, namely: morphine-based drugs on step three of the WHO analgesic ladder (as opposed to the weak opioids: codeine and tramadol). The presence of pain is associated with reduced survival. This article reviews the literature regarding pain: prevalence, mechanisms, pharmacological, and endoscopic treatments and identifies areas for research to develop individualized patient pain management pathways. The online literature review was conducted through: PubMed, Clinical Key, Uptodate, and NICE Evidence. There are two principal mechanisms for pain: pancreatic duct obstruction and pancreatic neuropathy which, respectively, activate mechanical and chemical nociceptors. In pancreatic neuropathy, several histological, molecular, and immunological changes occur which correlate with pain including: transient receptor potential cation channel activation and mast cell infiltration. Current pain management is empirical rather etiology-based and is informed by the WHO analgesic ladder for first-line therapies, and then endoscopic ultrasound-guided celiac plexus neurolysis (EUS-CPN) in patients with resistant pain. For EUS-CPN, there is only one clinical trial reporting a benefit, which has limited generalizability. Case series report pancreatic duct stenting gives effective analgesia, but there are no clinical trials. Progress in understanding the mechanisms for pain and when this occurs in the natural history, together with assessing new therapies both pharmacological and endoscopic, will enable individualized care and may improve patients’ quality of life and survival

Current research in biotechnology: Exploring the biotech forefront

Biotechnology is an evolving research field that covers a broad range of topics. Here we aimed to evaluate the latest research literature, to identify prominent research themes, major contributors in terms of institutions, countries/regions, and journals. The Web of Science Core Collection online database was searched to retrieve biotechnology articles published since 2017. In total, 12,351 publications were identified and analyzed. Over 8500 institutions contributed to these biotechnology publications, with the top 5 most productive ones scattered over France, China, the United States of America, Spain, and Brazil. Over 140 countries/regions contributed to the biotechnology research literature, led by the United States of America, China, Germany, Brazil, and India. Journal of Bioscience and Bioengineering was the most productive journal in terms of number of publications. Metabolic engineering was among the most prevalent biotechnology study themes, and Escherichia coli and Saccharomyces cerevisiae were frequently used in biotechnology investigations, including the biosynthesis of useful biomolecules, such as myo-inositol (vitamin B8), monoterpenes, adipic acid, astaxanthin, and ethanol. Nanoparticles and nanotechnology were identified too as emerging biotechnology research themes of great significance. Biotechnology continues to evolve and will remain a major driver of societal innovation and development

Measurement of the Bottom-Strange Meson Mixing Phase in the Full CDF Data Set

We report a measurement of the bottom-strange meson mixing phase \beta_s using the time evolution of B0_s -> J/\psi (->\mu+\mu-) \phi (-> K+ K-) decays in which the quark-flavor content of the bottom-strange meson is identified at production. This measurement uses the full data set of proton-antiproton collisions at sqrt(s)= 1.96 TeV collected by the Collider Detector experiment at the Fermilab Tevatron, corresponding to 9.6 fb-1 of integrated luminosity. We report confidence regions in the two-dimensional space of \beta_s and the B0_s decay-width difference \Delta\Gamma_s, and measure \beta_s in [-\pi/2, -1.51] U [-0.06, 0.30] U [1.26, \pi/2] at the 68% confidence level, in agreement with the standard model expectation. Assuming the standard model value of \beta_s, we also determine \Delta\Gamma_s = 0.068 +- 0.026 (stat) +- 0.009 (syst) ps-1 and the mean B0_s lifetime, \tau_s = 1.528 +- 0.019 (stat) +- 0.009 (syst) ps, which are consistent and competitive with determinations by other experiments.Comment: 8 pages, 2 figures, Phys. Rev. Lett 109, 171802 (2012